A Theory of Type Polymorphism in Programming
Hindley-Milner 型システム
の論文
Algorithm W
の提案
Robin Milner
著
1978
再発見
再発見ってどういう意味なん
#??
USのwiki
がかなりくわしいのでこれを見ながらやるといいかもな